Lógica fuzzy y automatización: ¿Perversión lógica o revolución informática?

En 1965 Lotfi Zadeh propuso un procedimiento para evitar los círculos viciosos en sí mismos paradójicos, que habían provocado la crisis de fundamentos de la teoría de conjuntos. Dada la imposibilidad de aportar un procedimiento axiomático capaz de evitarlos, se optó por intentar neutralizar esta situación por un recurso de tipo práctico, como fue la formalización de los conjuntos borrosos o imprecisos, a los que se atribuía el ser los causantes de esta crisis. Sin embargo fueron numerosas las críticas que desde un principio acompañaron la génesis y el posterior desarrollo de este tipo de lógica: se definió como una lógica imprecisa, borrosa, o simplemente mal fundada, dando un claro sentido despectivo a estos términos. Sin embargo el paso de tiempo demostró que las propuestas de Zadeh presentaban virtualidades muy novedosas, especialmente en el campo de la informática y de la automatización. Pero tampoco le han faltado críticas por su pretensión de proponerse como una ‘lógica alternativa’ capaz de lograr de este modo una posible fundamentación de la teoría de conjuntos, como al menos ha sugerido Susan Haack.